<?php
class ServerInfo {
}